61. Logical Methods
پدیدآورنده : edited by John N. Crossley, Jeffrey B. Remmel, Richard A. Shore, Moss E. Sweedler.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Logic, Symbolic and mathematical.,Mathematics.
62. Logics in Artificial Intelligence :
پدیدآورنده : edited by Craig MacNish, David Pearce, Luís Moniz Pereira.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic design.
رده :
Q334
.
E358
1994
63. Logics of Programs :
پدیدآورنده : by E. Clarke, D. Kozen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Programmation (Informatique) -- Congrès.
64. Logics of Programs :
پدیدآورنده : edited by Dexter Kozen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Programmation (Informatique) -- Congrès.
65. Mathematical Foundations of Computer Science 1986 :
پدیدآورنده : edited by Jozef Gruska, Branislav Rovan, Juraj Wiedermann.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer software.,Logic design.
رده :
QA267
.
E358
1986
66. Mathematical Foundations of Computer Science 1975 :
پدیدآورنده : by J. Becvar.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automates séquentiels, Théorie des -- Congrès.,Computer science.,Logic design.
رده :
QA267
.
5
.
S4
B953
1975
67. Mathematical Foundations of Computer Science 1989 :
پدیدآورنده : edited by Antoni Kreczmar, Grazyna Mirkowska.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer software.,Logic design.
رده :
QA76
.
9
.
M35
E358
1989
68. Mathematical Methods in Program Development
پدیدآورنده : edited by Manfred Broy, Birgit Schieder.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
6
E358
1997
69. Memory Management :
پدیدآورنده : edited by Henry G. Baler.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Memory management (Computer science)
70. Model Checking Software :
پدیدآورنده : edited by Ezio Bartocci, C.R. Ramakrishnan.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
76
.
V47
E358
2013
71. Modelling Computing Systems :
پدیدآورنده : by Faron Moller, Georg Struth.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational complexity.,Computer science.,Logic design.,Computational complexity.,Computer science.,Logic design.
رده :
QA76
.
63
72. Modelling distributed systems
پدیدآورنده : Wan Fokkink
کتابخانه: كتابخانه پژوهشگاه علوم و فناوری رنگ (طهران)
موضوع : Algebra Data processing,Computer science,Logic design
73. Models in Software Engineering
پدیدآورنده : edited by Jörg Kienzle
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science,Computer simulation,Information Systems,Logic design,Software engineering,Computer Science,Information Systems Applications (incl. Internet),Logics and Meanings of Programs,Management of Computing and Information Systems,Programming Languages, Compilers, Interpreters,Simulation and Modeling,Software Engineering
74. Multi-Threaded Programming in C++
پدیدآورنده : by Mark Walmsley.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer system performance.,Logic design.
رده :
QA76
.
73
.
C153
B963
2000
75. Multiagent System Technologies
پدیدآورنده : edited by Franziska Klügl, Sascha Ossowski.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer networks.,Computer science.,Logic design.,Software engineering.
76. OpenSHMEM and Related Technologies
پدیدآورنده : \ Manjunath Gorentla Venkata, Neena Imam, Swaroop Pophale (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Logic design,کامپیوتر,طراحی منطقی,a03,a04,a03,a04
رده :
E-Book
,
77. PROLOG for Computer Science
پدیدآورنده : by M.S. Dawe, C.M. Dawe.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.
رده :
QA76
.
73
.
P76
B967
1994
78. Perspectives of System Informatics :
پدیدآورنده : edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
79. Perspectives of Systems Informatics
پدیدآورنده : edited by Edmund Clarke, Irina Virbitskaite, Andrei Voronkov
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science,Computer software,Computer vision,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Imaging, Vision, Pattern Recognition and Graphics,Computer Science,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
80. Petri Nets :
پدیدآورنده : by Wolfgang Reisig.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Logic design.
رده :
QA267
.
B996
1985
